Comparing attack trees and misuse cases in an industrial setting

The last decade has seen an increasing focus on addressing security already during the earliest stages of system development, such as requirements determination. Attack trees and misuse cases are established techniques for representing security threats along with their potential mitigations. Previous work has compared attack trees and misuse cases in two experiments with students. The present paper instead presents an experiment where industrial practitioners perform the experimental tasks in their workplace. The industrial experiment confirms a central finding from the student experiments: that attack trees tend to help identifying more threats than misuse cases. It also presents a new result: that misuse cases tend to encourage identification of threats associated with earlier development stages than attack trees. The two techniques should therefore be considered complementary and should be used together in practical requirements work.     

浅析专利中的权利要求解读

专利的权利要求是专利的核心,其在文字上确定了专利的保护范围.专利的保护范围的确定依赖于对权利要求的解读.在专利审批过程中,为了进行高效检索,需要确定权利要求的保护范围、提取合适的检索要素,因而权利要求解读是检索的基础;审查员与申请人交流的对象是权利要求的技术方案,因而权利要求解读是发出审查意见、答复申请人意见的基础.旨在初步探索在专利审批的不同环节如何进行权利要求解读.     

A novel approach to interval comparison and application to software quality evaluation

Owing to increasing complexity in the real world, many attributes in decision science are uncertain. The interval data are more suitable for characterising those attributes. The interval comparison is an important research topic in this background. This paper proposes a new method for comparing two intervals based on a two-dimensional geometric interpretation. The equivalence is illustrated through a proof. Some mathematical experiments are provided to illustrate the validity. The proposed method is applied to the quality evaluation of software product. The results show that the provided method has important implications in both theoretical and practical perspectives.     

变表皮系数试井解释模型建立及应用

目前大部分试井数学模型将表皮系数视为常数,然而这仅是一种简化的处理。在实际生产过程中,注入或产出的流体可能冲刷岩石颗粒或者携带杂质颗粒进入地层,因此表皮系数是随时间变化的。文中将受影响区域的平均渗透率定义为一个时间的函数,利用经典表皮系数的定义,建立了表皮系数与时间的关系式,称之为变表皮系数;将该变表皮系数代替传统试井解释模型内视为常数的表皮系数,建立变表皮系数试井解释数学模型;利用拉普拉斯变换求解出该模型在拉氏空间内的解,并利用Stehfest数值反演计算出实空间的解;做出无量纲井壁压力和压力导数随时间变化的双对数图,并分析了变表皮系数表达式中各参数对无量纲井壁压力及压力导数的影响。文中利用胜利油田胜2区块一口井的实测试井数据进行实例分析,说明了该模型的适用性。     

新场气田沙二气藏致密砂岩气层再评价研究

新场气田沙二气藏为多层叠置气藏,自上而下主要由4套含气砂体组成,共分为JS21、JS22、JS23、JS24四个气层,埋深为2200~2500m,平均孔隙度为10.2%,属低-中孔储层,试井解释有效渗透率低于0.1×10-3μm2,属典型的致密砂岩储层。新场沙二气藏累计提交探明地质储量534.35×108m3,动用地质储量445.08×108m3,累计采气量120.35×108m3,优质储量已全部动用,解释级别较低的致密砂岩气层动用程度较低。随着压裂改造工艺技术的进步,在以前难动用的储层上建产,将成为该气藏稳产的重要手段。根据各地质参数对油气的不同响应特征,建立了超平衡钻井条件下气测值的校正与恢复方法、地质指标权重评价等录井解释评价新技术,并利用该技术,对原来解释级别较低的致密砂岩气层潜力进行了再评价,筛选出了该类气层的潜力级别,为老井挖潜和气藏后期开发部署提供技术支撑。     

教学过程中使用微机遇到故障四例

本文列出在实际使用中,微机的维护与维修方面出现的两例问题及解决方法。     

二维地震构造解译法在焦作煤田块村营的应用

构造分析是煤田煤炭开采、防水治水、安全经营的重要因素。二维地震可以有效解译构造的规模、产状及破碎情况。该文在综合分析块村营研究区地形地貌及地质条件的基础上,采用静校正、去噪、DMO迭加及时-深转换等多种技术手段,解译得出研究区组合断层七条,组合的七条断层中,落差大于200m的断层2条,落差100m～200m的断层3条,50m～100m的断层2条。     

Material religion,education, and museums: introduction

ABSTRACT

Introducing the themes and contexts for this special issue of the journal, this editorial reflects particularly on the experience of museums and museum and heritage educators in the UK and Asia in interpreting religions and religious art. It looks at successful examples of specialist museum programs and exhibits on religions; and distance learning resources that include faiths in suggesting new approaches to citizenship education through cultural learning. It looks more broadly at new approaches to religious education that encompass sacred spaces.     

CIVA仿真软件的实际应用

CIVA仿真软件包含超声、涡流和射线三个部分,其中超声部分又分为声场模拟和缺陷响应两个模块。CIVA可以支持各种复杂的工件建模,可设置多种类型探头,包括相控阵探头,能够模拟多种检测方法,对于检测工艺的制定有着很好的指导作用。着重介绍了CIVA软件在国内无损检测领域中的成功案例。     

混合地层水对测井解释剩余油分布的影响研究

我国绝大多数油田都是采用注水开发的,水淹层测井解释评价剩余油分布就显得尤为重要。研究剩余油分布,最关键的是水淹层剩余油饱和度的确定。根据多年从事测井解释的经验,分析了水淹层由于注入水与地层水综合作用对于测井电阻率、自然电位、声波时差三方面的影响。认为混合地层水特性是影响水淹层测井解释的难点,并提出了低渗透储层基于纯水砂岩和含泥质砂岩计算水淹层含油饱和度的经验公式。